- 双语例句 更多例句
1、
2、
3、
4、
Research and Verification on the Operational Semantics Model of DFL Programming Language
动态模糊逻辑程序设计语言的操作语义模型及验证
互联网摘选
5、
6、
形式化规范语言Z和Object-Z已经用于描述程序语言语义。
互联网摘选
7、
8、
程序语言的形式化语义提供简洁而精确的语言定义，不仅帮助人们很好的理解语言，而且有助于语言的标准化。
互联网摘选
9、
今天的编程已不仅仅是学习编程语言的语法和语义，比如Java，我们并不是学习其API及类库的能力。
互联网摘选
10、
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；
互联网摘选
- 相关词组
- axis of projection射影轴;投影轴
- at the word of command一声令下;一听到命令声
- axis of gravity重力轴;
- axis of symmetry对称轴;
- average annual rate of growth[法] 年平均增长率;
- axis of rotation转动轴;旋转轴;自转轴;
- at this time of year在（一年的）这个时节里;
- average length of life平均寿命;
- avail oneself of利用;乘;趁;假;
- avail ofv.利用;
- axial moment of inertia轴向惯性矩;
- aware of意识到，知道;
- axis of abscissas横坐标轴;
- audit of financial statements财务报表审计;
- axis of level水准漆；水准轴；水准管轴
- at the very beginning of在一开始
- United States of American. 美国，美利坚合众国;
- axis of evil邪恶轴心国; 邪恶轴心; 险恶轴心; 邪恶轴心--布什用语; 险恶轴心国;
- at the turn of在……转弯处；世纪之交出生；年初把计划制定好；
- axis of ordinates纵坐标轴;
- 今日热词
- 热门搜索
- chopsticks n.筷子;筷子( chopstick的名词复数 );
- crew n.(飞机、轮船等上的)全体工作人员;技术团队;一组人;划船队;赛船运动;v.当船员;
- pilot n.飞行员;(飞行器)驾驶员;领航员;领港员;引水员;(电视的)试播节目v.驾驶;引导;试验;顺利通过;
- sorry adj.对不起的;无价值的，低等的;遗憾的;感到伤心的;后悔;int.（道歉时用）很抱歉，请原谅,（请某人重复你没听清的话）你说什么，请再说一遍,（纠正自己说错的话）不对，应该是;
- kfc abbr.Kentucky fried chicken 肯德基;肯德基;肯德基快餐店
- channel n.（电视）频道;波段;渠道;方法;沟渠;航道;海峡;v.将(精力或情感)专注于;输送（资金）;
- tz abbr.茨;Tanzania (Intemet code) 坦桑尼亚（互联网编码）;thiazolidine 噻唑烷
- tore v.撕裂; 撕碎; 扯破; 戳破; 撕开，划成，刺出，扯开(裂口或洞); 拉掉; 撕掉; 拔掉; 扯掉;n.【建】座盘饰;【几】环形圆纹曲面;管环
- deepl 迪普尔
- cap n.帽子;国家队队员资格;帽，盖;v.覆盖;胜过;选入国家队;限定（预算）;箍牙;
- psp 程序段前缀;Play Station Portable,索尼公司开发的新型多功能掌机;
- The Outlaws 亡命之徒
